[next] [prev] [prev-tail] [tail] [up]

2.2.6 Integrals 501 to 600

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 501

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

391 229 399 0 0 0 0 0 0

N.S.

1 0.59 1.02 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.637 0.893 0.000 0.000 0.000 0.000 0.000 0.000

Problem 502

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

256 171 225 0 0 0 0 0 0

N.S.

1 0.67 0.88 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.560 0.376 0.000 0.000 0.000 0.000 0.000 0.000

Problem 503

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A F F F(-2) F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

152 136 115 0 0 0 0 0 0

N.S.

1 0.89 0.76 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.621 0.225 0.000 0.000 0.000 0.000 0.000 0.000

Problem 504

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

40 40 41 36 0 57 0 0 0

N.S.

1 1.00 1.02 0.90 0.00 1.42 0.00 0.00 0.00

time (sec)

N/A 0.213 0.057 0.263 0.000 0.241 0.000 0.000 0.000

Problem 505

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A F(-2) N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

23 23 25 19 21 0 24 21 21

N.S.

1 1.00 1.09 0.83 0.91 0.00 1.04 0.91 0.91

time (sec)

N/A 0.364 1.914 0.260 0.412 0.000 25.933 0.347 2.693

Problem 506

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A F(-2) F(-1) N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

23 23 25 19 21 0 0 21 21

N.S.

1 1.00 1.09 0.83 0.91 0.00 0.00 0.91 0.91

time (sec)

N/A 0.364 1.994 0.334 0.400 0.000 0.000 0.359 2.766

Problem 507

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

296 232 262 0 0 0 0 0 0

N.S.

1 0.78 0.89 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.274 0.354 0.000 0.000 0.000 0.000 0.000 0.000

Problem 508

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

182 165 122 0 0 0 0 0 0

N.S.

1 0.91 0.67 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.582 0.154 0.000 0.000 0.000 0.000 0.000 0.000

Problem 509

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F A F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

42 42 43 36 0 57 0 0 0

N.S.

1 1.00 1.02 0.86 0.00 1.36 0.00 0.00 0.00

time (sec)

N/A 0.224 0.056 0.268 0.000 0.249 0.000 0.000 0.000

Problem 510

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A F(-2) F(-1) N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

23 23 25 19 21 0 0 21 21

N.S.

1 1.00 1.09 0.83 0.91 0.00 0.00 0.91 0.91

time (sec)

N/A 0.367 1.854 0.267 0.405 0.000 0.000 0.353 2.541

Problem 511

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A F(-2) F(-1) N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

23 23 25 19 21 0 0 21 21

N.S.

1 1.00 1.09 0.83 0.91 0.00 0.00 0.91 0.91

time (sec)

N/A 0.353 2.024 0.307 0.407 0.000 0.000 0.384 2.655

Problem 512

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

235 178 171 0 0 0 0 0 0

N.S.

1 0.76 0.73 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.562 0.750 0.000 0.000 0.000 0.000 0.000 0.000

Problem 513

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F(-2) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

355 273 229 0 0 0 0 0 0

N.S.

1 0.77 0.65 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.634 0.810 0.000 0.000 0.000 0.000 0.000 0.000

Problem 514

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F(-2) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

235 178 160 0 0 0 0 0 0

N.S.

1 0.76 0.68 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.512 0.497 0.000 0.000 0.000 0.000 0.000 0.000

Problem 515

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A F(-2) N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

28 28 30 26 28 28 26 0 28

N.S.

1 1.00 1.07 0.93 1.00 1.00 0.93 0.00 1.00

time (sec)

N/A 0.771 0.298 0.222 0.406 0.262 2.233 0.000 2.618

Problem 516

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A F(-2) N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

28 28 30 26 28 28 27 0 28

N.S.

1 1.00 1.07 0.93 1.00 1.00 0.96 0.00 1.00

time (sec)

N/A 0.556 0.334 0.226 0.406 0.264 4.094 0.000 2.600

Problem 517

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-2) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

616 437 429 0 0 0 0 0 0

N.S.

1 0.71 0.70 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.878 2.342 0.000 0.000 0.000 0.000 0.000 0.000

Problem 518

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F(-2) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

542 397 390 0 0 0 0 0 0

N.S.

1 0.73 0.72 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.760 1.498 0.000 0.000 0.000 0.000 0.000 0.000

Problem 519

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F(-2) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

420 301 288 0 0 0 0 0 0

N.S.

1 0.72 0.69 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.611 1.092 0.000 0.000 0.000 0.000 0.000 0.000

Problem 520

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A F(-2) N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

28 28 30 26 28 28 26 0 28

N.S.

1 1.00 1.07 0.93 1.00 1.00 0.93 0.00 1.00

time (sec)

N/A 1.285 0.362 0.211 0.405 0.290 125.890 0.000 2.557

Problem 521

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A F(-1) F(-2) N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

28 28 30 26 28 28 0 0 28

N.S.

1 1.00 1.07 0.93 1.00 1.00 0.00 0.00 1.00

time (sec)

N/A 0.979 0.946 0.221 0.403 0.262 0.000 0.000 2.562

Problem 522

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

816 561 667 0 0 0 0 0 0

N.S.

1 0.69 0.82 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.030 5.616 0.000 0.000 0.000 0.000 0.000 0.000

Problem 523

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F(-2) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

745 526 685 0 0 0 0 0 0

N.S.

1 0.71 0.92 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.898 2.329 0.000 0.000 0.000 0.000 0.000 0.000

Problem 524

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F(-2) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

632 441 529 0 0 0 0 0 0

N.S.

1 0.70 0.84 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.753 3.996 0.000 0.000 0.000 0.000 0.000 0.000

Problem 525

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A F(-1) F(-2) N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

28 28 30 26 28 53 0 0 28

N.S.

1 1.00 1.07 0.93 1.00 1.89 0.00 0.00 1.00

time (sec)

N/A 2.067 0.398 0.189 0.426 0.260 0.000 0.000 2.440

Problem 526

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A F(-1) F(-2) N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

28 28 30 26 28 53 0 0 28

N.S.

1 1.00 1.07 0.93 1.00 1.89 0.00 0.00 1.00

time (sec)

N/A 1.539 0.654 0.225 0.432 0.260 0.000 0.000 2.557

Problem 527

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

23 23 25 21 23 23 22 23 23

N.S.

1 1.00 1.09 0.91 1.00 1.00 0.96 1.00 1.00

time (sec)

N/A 0.272 0.650 0.129 0.374 0.254 3.799 0.412 2.616

Problem 528

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A F F F F F(-2) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

113 116 100 0 0 0 0 0 0

N.S.

1 1.03 0.88 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.471 0.158 0.000 0.000 0.000 0.000 0.000 0.000

Problem 529

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

80 75 86 0 0 0 0 0 0

N.S.

1 0.94 1.08 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.428 0.212 0.000 0.000 0.000 0.000 0.000 0.000

Problem 530

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A C A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

49 54 43 0 0 0 0 0 0

N.S.

1 1.10 0.88 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.345 0.101 0.000 0.000 0.000 0.000 0.000 0.000

Problem 531

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

17 17 17 18 17 83 34 29 33

N.S.

1 1.00 1.00 1.06 1.00 4.88 2.00 1.71 1.94

time (sec)

N/A 0.208 0.011 0.272 0.194 0.268 0.357 0.275 2.933

Problem 532

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

23 23 25 21 23 31 20 23 23

N.S.

1 1.00 1.09 0.91 1.00 1.35 0.87 1.00 1.00

time (sec)

N/A 0.269 5.709 0.108 0.365 0.265 0.678 0.428 2.683

Problem 533

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

23 23 25 21 23 33 22 23 23

N.S.

1 1.00 1.09 0.91 1.00 1.43 0.96 1.00 1.00

time (sec)

N/A 0.268 1.858 0.108 0.395 0.266 1.044 0.422 2.732

Problem 534

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F(-2) F F(-1) F(-2) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

416 192 361 0 0 0 0 0 0

N.S.

1 0.46 0.87 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.833 2.791 0.000 0.000 0.000 0.000 0.000 0.000

Problem 535

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F(-2) F F F(-2) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

304 148 273 0 0 0 0 0 0

N.S.

1 0.49 0.90 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.599 2.825 0.000 0.000 0.000 0.000 0.000 0.000

Problem 536

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F(-2) F F F(-2) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

147 96 233 0 0 0 0 0 0

N.S.

1 0.65 1.59 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.517 1.261 0.000 0.000 0.000 0.000 0.000 0.000

Problem 537

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

158 96 227 0 0 0 0 0 0

N.S.

1 0.61 1.44 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.572 1.520 0.000 0.000 0.000 0.000 0.000 0.000

Problem 538

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

181 115 283 0 0 0 0 0 0

N.S.

1 0.64 1.56 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.639 2.550 0.000 0.000 0.000 0.000 0.000 0.000

Problem 539

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F A B F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

187 123 141 0 219 548 0 0 0

N.S.

1 0.66 0.75 0.00 1.17 2.93 0.00 0.00 0.00

time (sec)

N/A 0.570 1.510 0.000 0.230 0.323 0.000 0.000 0.000

Problem 540

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F(-2) F F(-1) F(-2) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

459 198 683 0 0 0 0 0 0

N.S.

1 0.43 1.49 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.703 3.170 0.000 0.000 0.000 0.000 0.000 0.000

Problem 541

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F(-2) F F F(-2) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

247 151 352 0 0 0 0 0 0

N.S.

1 0.61 1.43 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.706 2.377 0.000 0.000 0.000 0.000 0.000 0.000

Problem 542

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F(-2) F F F(-2) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

304 148 273 0 0 0 0 0 0

N.S.

1 0.49 0.90 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.585 2.940 0.000 0.000 0.000 0.000 0.000 0.000

Problem 543

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F(-2) F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

266 133 344 0 0 0 0 0 0

N.S.

1 0.50 1.29 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.697 5.473 0.000 0.000 0.000 0.000 0.000 0.000

Problem 544

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F(-1) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

284 149 514 0 0 0 0 0 0

N.S.

1 0.52 1.81 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.702 7.011 0.000 0.000 0.000 0.000 0.000 0.000

Problem 545

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

364 189 706 0 0 0 0 0 0

N.S.

1 0.52 1.94 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.643 9.809 0.000 0.000 0.000 0.000 0.000 0.000

Problem 546

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F(-2) F F(-1) F(-2) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

344 201 481 0 0 0 0 0 0

N.S.

1 0.58 1.40 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.875 2.762 0.000 0.000 0.000 0.000 0.000 0.000

Problem 547

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F(-2) F F(-1) F(-2) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

459 198 683 0 0 0 0 0 0

N.S.

1 0.43 1.49 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.671 3.162 0.000 0.000 0.000 0.000 0.000 0.000

Problem 548

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F(-2) F F(-1) F(-2) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

416 192 565 0 0 0 0 0 0

N.S.

1 0.46 1.36 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.801 2.569 0.000 0.000 0.000 0.000 0.000 0.000

Problem 549

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F(-2) F F(-1) F(-2) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

381 181 465 0 0 0 0 0 0

N.S.

1 0.48 1.22 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.821 7.175 0.000 0.000 0.000 0.000 0.000 0.000

Problem 550

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F(-2) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

518 200 779 0 0 0 0 0 0

N.S.

1 0.39 1.50 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.664 9.864 0.000 0.000 0.000 0.000 0.000 0.000

Problem 551

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F F F(-1) F(-2) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

472 230 1005 0 0 0 0 0 0

N.S.

1 0.49 2.13 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.692 12.468 0.000 0.000 0.000 0.000 0.000 0.000

Problem 552

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F(-2) F F(-1) F(-2) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

381 181 465 0 0 0 0 0 0

N.S.

1 0.48 1.22 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.855 7.342 0.000 0.000 0.000 0.000 0.000 0.000

Problem 553

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F(-2) F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

266 133 344 0 0 0 0 0 0

N.S.

1 0.50 1.29 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.688 5.552 0.000 0.000 0.000 0.000 0.000 0.000

Problem 554

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

158 96 227 0 0 0 0 0 0

N.S.

1 0.61 1.44 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.540 1.760 0.000 0.000 0.000 0.000 0.000 0.000

Problem 555

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F A F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

59 59 113 0 32 0 0 0 0

N.S.

1 1.00 1.92 0.00 0.54 0.00 0.00 0.00 0.00

time (sec)

N/A 0.394 1.225 0.000 0.211 0.000 0.000 0.000 0.000

Problem 556

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F A B F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

111 89 113 0 98 443 0 0 0

N.S.

1 0.80 1.02 0.00 0.88 3.99 0.00 0.00 0.00

time (sec)

N/A 0.475 0.874 0.000 0.304 0.305 0.000 0.000 0.000

Problem 557

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F A B F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

295 170 143 0 233 576 0 0 0

N.S.

1 0.58 0.48 0.00 0.79 1.95 0.00 0.00 0.00

time (sec)

N/A 0.565 1.020 0.000 0.305 0.341 0.000 0.000 0.000

Problem 558

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F(-2) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

517 199 781 0 0 0 0 0 0

N.S.

1 0.38 1.51 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.679 10.367 0.000 0.000 0.000 0.000 0.000 0.000

Problem 559

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F(-2) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

283 148 515 0 0 0 0 0 0

N.S.

1 0.52 1.82 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.701 7.292 0.000 0.000 0.000 0.000 0.000 0.000

Problem 560

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

180 114 285 0 0 0 0 0 0

N.S.

1 0.63 1.58 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.621 2.711 0.000 0.000 0.000 0.000 0.000 0.000

Problem 561

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F A B F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

112 90 94 0 98 443 0 0 0

N.S.

1 0.80 0.84 0.00 0.88 3.96 0.00 0.00 0.00

time (sec)

N/A 0.481 1.094 0.000 0.298 0.302 0.000 0.000 0.000

Problem 562

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F A F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

103 82 118 0 82 0 0 0 0

N.S.

1 0.80 1.15 0.00 0.80 0.00 0.00 0.00 0.00

time (sec)

N/A 0.446 1.193 0.000 0.210 0.000 0.000 0.000 0.000

Problem 563

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F A F F(-1) F(-2) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

282 164 201 0 237 0 0 0 0

N.S.

1 0.58 0.71 0.00 0.84 0.00 0.00 0.00 0.00

time (sec)

N/A 0.549 1.493 0.000 0.229 0.000 0.000 0.000 0.000

Problem 564

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F F F(-1) F(-2) F(-1)

verified

N/A Yes No N/A TBD TBD TBD TBD TBD

size

470 228 1083 0 0 0 0 0 0

N.S.

1 0.49 2.30 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.674 15.416 0.000 0.000 0.000 0.000 0.000 0.000

Problem 565

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

362 187 706 0 0 0 0 0 0

N.S.

1 0.52 1.95 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.657 10.023 0.000 0.000 0.000 0.000 0.000 0.000

Problem 566

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F A B F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

185 121 131 0 220 548 0 0 0

N.S.

1 0.65 0.71 0.00 1.19 2.96 0.00 0.00 0.00

time (sec)

N/A 0.560 1.749 0.000 0.213 0.326 0.000 0.000 0.000

Problem 567

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F A B F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

294 171 139 0 232 576 0 0 0

N.S.

1 0.58 0.47 0.00 0.79 1.96 0.00 0.00 0.00

time (sec)

N/A 0.594 1.059 0.000 0.319 0.332 0.000 0.000 0.000

Problem 568

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F A F F(-1) F(-2) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

282 165 202 0 237 0 0 0 0

N.S.

1 0.59 0.72 0.00 0.84 0.00 0.00 0.00 0.00

time (sec)

N/A 0.577 1.431 0.000 0.235 0.000 0.000 0.000 0.000

Problem 569

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F A F F(-1) F(-2) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

203 132 193 0 159 0 0 0 0

N.S.

1 0.65 0.95 0.00 0.78 0.00 0.00 0.00 0.00

time (sec)

N/A 0.571 1.260 0.000 0.227 0.000 0.000 0.000 0.000

Problem 570

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F(-2) F F(-1) F(-2) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

680 341 890 0 0 0 0 0 0

N.S.

1 0.50 1.31 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.267 3.597 0.000 0.000 0.000 0.000 0.000 0.000

Problem 571

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F(-2) F F F(-2) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

508 261 705 0 0 0 0 0 0

N.S.

1 0.51 1.39 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.877 3.234 0.000 0.000 0.000 0.000 0.000 0.000

Problem 572

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F(-2) F F F(-2) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

244 148 352 0 0 0 0 0 0

N.S.

1 0.61 1.44 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.777 1.877 0.000 0.000 0.000 0.000 0.000 0.000

Problem 573

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

259 134 315 0 0 0 0 0 0

N.S.

1 0.52 1.22 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.704 2.712 0.000 0.000 0.000 0.000 0.000 0.000

Problem 574

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

544 243 594 0 0 0 0 0 0

N.S.

1 0.45 1.09 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.165 5.325 0.000 0.000 0.000 0.000 0.000 0.000

Problem 575

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F(-1) F F F F(-1)

verified

N/A Yes No N/A TBD TBD TBD TBD TBD

size

518 267 783 0 0 0 0 0 0

N.S.

1 0.52 1.51 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.376 9.855 0.000 0.000 0.000 0.000 0.000 0.000

Problem 576

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F(-2) F F(-1) F(-2) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

774 383 1084 0 0 0 0 0 0

N.S.

1 0.49 1.40 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.037 4.435 0.000 0.000 0.000 0.000 0.000 0.000

Problem 577

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F(-2) F F(-1) F(-2) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

396 275 524 0 0 0 0 0 0

N.S.

1 0.69 1.32 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.259 3.191 0.000 0.000 0.000 0.000 0.000 0.000

Problem 578

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F(-2) F F F(-2) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

508 261 705 0 0 0 0 0 0

N.S.

1 0.51 1.39 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.834 3.091 0.000 0.000 0.000 0.000 0.000 0.000

Problem 579

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F(-2) F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

436 225 532 0 0 0 0 0 0

N.S.

1 0.52 1.22 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.844 8.523 0.000 0.000 0.000 0.000 0.000 0.000

Problem 580

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F(-1) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

752 313 1174 0 0 0 0 0 0

N.S.

1 0.42 1.56 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.267 14.851 0.000 0.000 0.000 0.000 0.000 0.000

Problem 581

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F(-1) F F F(-2) F(-1)

verified

N/A Yes No N/A TBD TBD TBD TBD TBD

size

580 287 1609 0 0 0 0 0 0

N.S.

1 0.49 2.77 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.426 17.155 0.000 0.000 0.000 0.000 0.000 0.000

Problem 582

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F(-2) F F(-1) F(-2) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

548 425 735 0 0 0 0 0 0

N.S.

1 0.78 1.34 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.706 3.945 0.000 0.000 0.000 0.000 0.000 0.000

Problem 583

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F(-2) F F(-1) F(-2) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

774 383 1084 0 0 0 0 0 0

N.S.

1 0.49 1.40 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.076 4.634 0.000 0.000 0.000 0.000 0.000 0.000

Problem 584

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F(-2) F F(-1) F(-2) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

680 341 890 0 0 0 0 0 0

N.S.

1 0.50 1.31 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.238 3.725 0.000 0.000 0.000 0.000 0.000 0.000

Problem 585

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F(-2) F F(-1) F(-2) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

615 312 723 0 0 0 0 0 0

N.S.

1 0.51 1.18 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.003 14.047 0.000 0.000 0.000 0.000 0.000 0.000

Problem 586

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F F F(-1) F(-2) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

972 395 2492 0 0 0 0 0 0

N.S.

1 0.41 2.56 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.528 23.484 0.000 0.000 0.000 0.000 0.000 0.000

Problem 587

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F(-1) F F(-1) F(-2) F(-1)

verified

N/A Yes No N/A TBD TBD TBD TBD TBD

size

790 359 2622 0 0 0 0 0 0

N.S.

1 0.45 3.32 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.546 24.699 0.000 0.000 0.000 0.000 0.000 0.000

Problem 588

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F(-2) F F(-1) F(-2) F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

615 312 723 0 0 0 0 0 0

N.S.

1 0.51 1.18 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.960 13.876 0.000 0.000 0.000 0.000 0.000 0.000

Problem 589

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F(-2) F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

436 225 529 0 0 0 0 0 0

N.S.

1 0.52 1.21 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.827 8.546 0.000 0.000 0.000 0.000 0.000 0.000

Problem 590

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

259 134 315 0 0 0 0 0 0

N.S.

1 0.52 1.22 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.721 2.638 0.000 0.000 0.000 0.000 0.000 0.000

Problem 591

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F A F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

59 59 168 0 53 0 0 0 0

N.S.

1 1.00 2.85 0.00 0.90 0.00 0.00 0.00 0.00

time (sec)

N/A 0.486 2.258 0.000 0.228 0.000 0.000 0.000 0.000

Problem 592

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

464 219 508 0 0 0 0 0 0

N.S.

1 0.47 1.09 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.943 3.263 0.000 0.000 0.000 0.000 0.000 0.000

Problem 593

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F(-1) F F F F(-1)

verified

N/A Yes No N/A TBD TBD TBD TBD TBD

size

942 442 524 0 0 0 0 0 0

N.S.

1 0.47 0.56 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.514 6.914 0.000 0.000 0.000 0.000 0.000 0.000

Problem 594

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F F F(-1) F(-2) F(-1)

verified

N/A Yes No N/A TBD TBD TBD TBD TBD

size

972 395 2143 0 0 0 0 0 0

N.S.

1 0.41 2.20 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.493 25.043 0.000 0.000 0.000 0.000 0.000 0.000

Problem 595

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F(-2) F(-1)

verified

N/A Yes No N/A TBD TBD TBD TBD TBD

size

752 313 1346 0 0 0 0 0 0

N.S.

1 0.42 1.79 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.286 17.842 0.000 0.000 0.000 0.000 0.000 0.000

Problem 596

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes No N/A TBD TBD TBD TBD TBD

size

544 243 530 0 0 0 0 0 0

N.S.

1 0.45 0.97 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.124 6.688 0.000 0.000 0.000 0.000 0.000 0.000

Problem 597

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

464 219 511 0 0 0 0 0 0

N.S.

1 0.47 1.10 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.962 3.163 0.000 0.000 0.000 0.000 0.000 0.000

Problem 598

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

224 139 488 0 0 0 0 0 0

N.S.

1 0.62 2.18 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.904 3.046 0.000 0.000 0.000 0.000 0.000 0.000

Problem 599

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F(-2) F F(-1) F(-2) F(-1)

verified

N/A Yes No N/A TBD TBD TBD TBD TBD

size

743 365 754 0 0 0 0 0 0

N.S.

1 0.49 1.01 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.153 9.913 0.000 0.000 0.000 0.000 0.000 0.000

Problem 600

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F F(-1) F F(-1) F(-2) F(-1)

verified

N/A Yes No N/A TBD TBD TBD TBD TBD

size

794 363 2552 0 0 0 0 0 0

N.S.

1 0.46 3.21 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.551 24.350 0.000 0.000 0.000 0.000 0.000 0.000

[next] [prev] [prev-tail] [front] [up]